Free shipping on all orders! No minimum purchase required.
Term Rewriting Systems
by J. W. Klop, R. C. De Vrijer, S. Abramsky (Contribution by), P. H. Aczel (Contribution by), Y. Gurevich (Contribution by), Terese, J. V. Tucker (Contribution by), J. W. De Bakker (Contribution by), C. J. van Rijsbergen (Contribution by)
